Works by T. Sayed Ahmed

( view other items matching `T. Sayed Ahmed`, view all matches )
5 found
Order:
  1.  10
    Omitting types for finite variable fragments of first order logic.T. Sayed Ahmed - 2003 - Bulletin of the Section of Logic 32 (3):103-107.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  3
    Neat embedding is not sufficient for complete representability.T. Sayed Ahmed - 2007 - Bulletin of the Section of Logic 36 (1/2):29-35.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Neat embeddings, interpolation, and omitting types, an overview.T. Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
     
    Export citation  
     
    Bookmark  
  4. On neat reducts of algebras of logic', presented in Logic Colloquium 1996, abstract appeared in the.H. Andréka, I. NÉmeti & T. Sayed Ahmed - 1997 - Bulletin of Symbolic Logic 3 (2):249.
     
    Export citation  
     
    Bookmark  
  5.  7
    Vaughts theorem holds for L2 but fails for Ln when n> 2.Mohamed Khaled & T. Sayed Ahmed - 2010 - Bulletin of the Section of Logic 39 (3/4):107-122.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation